Robert I Soare, "Turing Computability: Theory and Applications"
計算可能性理論
について
Robert I Soare